logical statements and truth table bba